kata-containers/regorus
1
0
Fork 0
mirror of https://github.com/microsoft/regorus.git synced 2026-08-05 02:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
435 Commits 25 Branches 26 Tags
verus
Commit Graph

3 Commits

Author SHA1 Message Date
Kirill Zabelin a29bfeeb4f Early return for 'some in' statement (#427) 
* fix: use early exit in 'some in' statements

Update kata tests:
Since 'early return' now works with 'some in' statement, interpreter
does not do any evaluation after it found match for rule, therefore
we don't have other rule checks after interpreter found match
 2025-07-08 13:47:06 -05:00
Anand Krishnamoorthi 3ac9b1121e Lockdown kata test prints as well as prints of various values (#249) 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2024-05-23 08:30:41 -07:00
Anand Krishnamoorthi e9cd6d6afc Tests from MSFT fork of kata-containers (#230) 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2024-05-08 17:38:50 -07:00