Custom Query (7 matches)
Ticket | Summary | Status | Type | Priority | Milestone | Component |
---|---|---|---|---|---|---|
#19 | SYM: Spurious errors due to infeasible explicit values | assigned | defect | major | 5.0 | LART |
#40 | Error with _SYM and array indexing (worked in 4.1.6) | new | feature | major | 5.0 | LART |
#47 | Benchmark abstraction cleanup influence | assigned | task | major | 5.0 | DiOS |
#60 | missing __sym_sitofp | assigned | defect | major | 4.3 | other |
#62 | Generate concrete counterexample from smt. | assigned | feature | major | 4.3 | MC |
#49 | Build system should check for minimal version of Z3 | assigned | defect | minor | 4.3 | other |
#107 | unreachable executed: unknown binary operation fp.leq | assigned | defect | minor | 4.4 | DiOS |
Note: See TracQuery
for help on using queries.