Skip to content
Snippets Groups Projects
Commit 35558ba7 authored by Gwennan Eliezer's avatar Gwennan Eliezer
Browse files

Changed node name from 'add_int_true' to 'count_true_acc'

parent 7befc1db
No related branches found
No related tags found
1 merge request!8WIP: Resolve "Add Lustre oracles to all examples of the test directory"
Pipeline #26774 passed with warnings
Stage: build
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 1 addition and 1 deletion
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment