Crucible support as a Symbolic Engine #37
Labels
enhancement
good-first-issue
issues that do not need great knowledge about Map2Check or are easy to implement
Projects
Is your feature request related to a problem? Please describe.
Currently, we only have support for KLEE as a symbolic engine, the issue is that it contains a limitation for floating numbers. Crucible supports enconding for
floats
, has support for SV-COMP notation and it's API contains all that is needed for a Generator.Describe the solution you'd like
Implement a
NonDetGeneratorCrucible
and compare it with KLEE specially for floats.The text was updated successfully, but these errors were encountered: