Skip to content
Snippets Groups Projects

Changed all 'add_int_true' to 'count_true_acc'

Warning
Gwennan Eliezer created pipeline for commit d0de2f1a
, finished
1 related merge request: !8 WIP: Resolve "Add Lustre oracles to all examples of the test directory"
3 jobs 9 minutes 45 seconds, queued for 2 seconds