You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
newtype T_t = { value : [2] }
T = { C1 = T_t { value = 0b00 }
, C2 = T_t { value = 0b01 }
, C3 = T_t { value = 0b10 }
}
> import "test.cry"
You have encountered a bug in cryptol-saw-core's implementation.
*** Please create an issue at https://github.com/GaloisInc/saw-script/issues
%< ---------------------------------------------------
Revision: UNKNOWN
Branch: UNKNOWN
Location: importExpr
Message: unknown variable: Name {nUnique = 4717, nInfo = Declared (TopModule (ModName "Main")) UserName, nNamespace = NSType, nIdent = Ident False "T_t", nFixity = Nothing, nLoc = Range\
{from = Position {line = 1, col = 9}, to = Position {line = 1, col = 12}, source = "test.cry"}}
CallStack (from HasCallStack):
panic, called at src/Verifier/SAW/Cryptol/Panic.hs:13:9 in cryptol-saw-core-0.1-inplace:Verifier.SAW.Cryptol.Panic
panic, called at src/Verifier/SAW/Cryptol.hs:982:25 in cryptol-saw-core-0.1-inplace:Verifier.SAW.Cryptol
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: