Skip to content

Model-checker upgrades

Alessandro Tempia Calvino requested to merge alessandro_branch into master
  • Pragma selection in the verification window
  • Pragma queries and concurrency in CLI
  • Re-initialization analysis
  • Better concurrency management
  • Full concurrency option verification

Merge request reports