An approximating SMT solver
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
ptrbman opened this issue 6 years ago · comments
Benchmark: water_pid_true-unreach-call.c_372.smt2 does not work properly. When model is extracted some key is not found. Perhpas parsing issue?
https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP/blob/master/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c_372.smt2