Update dependency halmos to v0.3.3 (#5819) · ea4d925da6 - GitBross

Update dependency halmos to v0.3.3 (#5819)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>

renovate[bot] 1 month ago

parent

0134b00956

commit

ea4d925da6

1 changed files with 1 additions and 1 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 1
						
fv-requirements.txt
							 
								View File
							
				@@ -1,4 +1,4 @@
			
				 certora-cli==8.1.1
			
				 # File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build
			
				 # whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos
			
				-halmos==0.3.1
			
				+halmos==0.3.3