Arturo Vargas
Arturo Vargas
tag: @adayton1
TODO: strongly type policy selection.
TODO: //User should provide a pair of policies and indices, //camp tuple, generate if run-time == ....
TODO: Add coverage for versions of forall that take a resource.
@ajkunen @davidbeckingsale I made a clean up pass to this PR. I wasn't sure on how integrate creating a list of both policies and indices, but hopefully what I have...
Some of the CI are failing due to time limits and connectivity issues.
Did anyone else want to take a look or are we good to merge?
> @artv3 👍 for adding tests! Thanks, not ready yet though just wanted to commit initial progress.
I just pushed up some basic test for dynamic forall. If they pass this PR should be good to go. The testing may be a bit redundant because of the...
> @artv3 is there a (good) way to prevent the redundant tests? We don't want to have to deal with more timeouts than we already experience. I'm thinking if we...