Update certora harness · 0fa6aad5e5 - GitBross

Update certora harness

Hadrien Croubois 3 years ago

parent

0c2453ba17

commit

0fa6aad5e5

2 changed files with 213 additions and 600 deletions

Unified View Show Diff Stats

						
							+ 0
							
							- 1
						
certora/Makefile
							 
								View File
							
															@@ -21,4 +21,3 @@ record:
														
															 clean:
														
															 clean:
														
															 	git clean -fdX
														
															 	git clean -fdX
														
															 	touch $(PATCH)
														
															 	touch $(PATCH)
														
															-

				
					File diff suppressed because it is too large
					
						+ 213
						
						- 599
					
certora/applyHarness.patch