Strongest Postcondition
bench/ce/let_constant.mlw Let_constant VC dummy: Timeout or Unknown
Counter-example model:File let_constant.mlw:
Line 7:
T, [[@introduced], [@model_trace:T]] = {"type" : "Integer" ,
"val" : "25" }
Line 9:
T, [[@introduced], [@model_trace:T]] = {"type" : "Integer" ,
"val" : "25" }

