Skip to content

Commit

Permalink
fix concretization error (#554)
Browse files Browse the repository at this point in the history 
fix concretization error (and new config is easier to understand)
  • Loading branch information
@scheibelp
scheibelp authored Jan 23, 2025
1 parent 4d73e71 commit bad96b8
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit bad96b8

Please sign in to comment.