Commit 05444b71 authored by Benoit Barbot's avatar Benoit Barbot

fix bug where generateMain was not correclty set

parent b7c71a5b
Pipeline #1046 failed with stages
in 2 minutes and 46 seconds
......@@ -531,7 +531,8 @@ bool compileSource(const std::vector<std::string> &sources){
bool build() {
const bool generateMain =
P.RareEvent || P.is_domain_impl_set
P.RareEvent || P.computeStateSpace >0
|| P.is_domain_impl_set
|| P.modelType == External || P.modelType == GSPN_Simulink
|| P.lhaType == NOT_DET;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment