Skip to content

Commit

Permalink
Merge pull request #2 from lip6/OSDI-support
Browse files Browse the repository at this point in the history
non conditional tr model case must be treated
  • Loading branch information
ip-arch authored Dec 12, 2024
2 parents 2c33ce0 + b5be07a commit c50c6ab
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions distrib/sources/mbk/mbk_lo_util.c
Original file line number Diff line number Diff line change
Expand Up @@ -588,6 +588,7 @@ static void flatten_eval_montecarlo(eqt_ctx *evalctx, eqt_ctx *origctx, char *su

int lotrs_cond_check(char* cond, eqt_ctx *ctx) {
double value;
if( !cond ) return 1;
value = eqt_eval(ctx, cond, EQTNORMAL );
if (!eqt_resistrue(ctx))
{
Expand Down

0 comments on commit c50c6ab

Please sign in to comment.