Skip to content
Snippets Groups Projects
Commit 197ab141 authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Simplified the converter a bit 

Ensures that no conversion occurs if only fundefs in the library use strings.
Forward and backward conversion for embedded evaluators in FairZ3
parent b8ec33b4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment