ralsina/tartrazine
1
0
Fork 0
mirror of https://github.com/ralsina/tartrazine.git synced 2025-06-19 06:33:06 -03:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

chore: pre-commit hooks

Browse Source
This commit is contained in:
Roberto Alsina
2024-08-26 20:18:28 -03:00
parent c6824a99df
commit fb693bb221
289 changed files with 339 additions and 309 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
spec/tests/promela/if.txt
View File

@ -1,6 +1,6 @@
---input---
init {
if
if
:: skip;
fi;
skip