Skip to content

Commit

Permalink
test: TASO termination in simple cases (#155)
Browse files Browse the repository at this point in the history 
Closes #152 .

Note: only look at the last commit! Everything else is stuff from other
PRs (the API is quite in flux so basing on main would have just created
merge conflicts in a moment).

---------

Co-authored-by: Agustín Borgna <[email protected]>
Co-authored-by: Agustin Borgna <[email protected]>
  • Loading branch information
@lmondada @aborgna-q
3 people authored Oct 20, 2023
1 parent 0001bf8 commit dbab425
Show file tree
Hide file tree
Showing 2 changed files with 475 additions and 0 deletions.
Loading

0 comments on commit dbab425

Please sign in to comment.