Closed mj3cheun closed 3 years ago
NOTE: The CHIME_SVIIvR model has not been merged into donu yet. Wait for https://github.com/GaloisInc/askee-august-2021-demo-model-collection/pull/17 to get merged before testing and merging this PR.
Arizona will give us some new files and intersection graph so we will need to update this. We can merge it for now for testing purposes.
NOTE: The CHIME_SVIIvR model has not been merged into donu yet. Wait for https://github.com/GaloisInc/askee-august-2021-demo-model-collection/pull/17 to get merged before testing and merging this PR.