Skip to content
Snippets Groups Projects
user avatar
Manos Koukoutos authored
TransformerWithPaths now traverses Ensuring
DefaultTactic.generatePreconditions and generateCorrectnessConditions now looks in fullBody
Fix CodeGeneration to handle Require
Don't collect Require, Ensuring in collectCorrectnessConditions
cb76cc04
History
Name Last commit Last update