"src/main/scala/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "7c9386d5cfdd032df0028740a1e8e1970d025bbc"
Mikaël Mayer
authored
Leon can handle abstract examples if the flag `keepAbstractExamples` is set to true in ExamplesFinder. (It means that examples will not be enumerated if they have free unassigned variables, but kept as it.) input/output examples can now match only a part of the inputs, but the output is still compulsory This is now used in StringRender.scala. The functional example works.
Name | Last commit | Last update |
---|