Skip to content

Commit

Permalink
K 3988 rename overload attribute (#3723)
Browse files Browse the repository at this point in the history 
Part of runtimeverification/k#3988

### Scope:
Renames `overload` attribute to `symbol-overload` (identical
functionality). **No backward compatibility!**

Requires rebase on top of the merged K update #3691

---------

Co-authored-by: Bruce Collie <[email protected]>
  • Loading branch information
@jberthold @Baltoli
jberthold and Baltoli authored Feb 19, 2024
1 parent 6fd37bd commit ac6908d
Show file tree
Hide file tree
Showing 16 changed files with 95 additions and 95 deletions.
2 changes: 1 addition & 1 deletion kore/src/Kore/Attribute/Overload.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ instance Default (Overload symbol) where

-- | Kore identifier representing the @overload@ attribute symbol.
overloadId :: Id
overloadId = "overload"
overloadId = "symbol-overload"

-- | Kore symbol representing the @overload@ attribute.
overloadSymbol :: SymbolOrAlias
Expand Down
10 changes: 5 additions & 5 deletions kore/test/Test/Kore/Attribute/Overload.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ subSymbolOrAlias = toSymbolOrAlias subSymbol

test_Overload :: TestTree
test_Overload =
testCase "[overload{}(super{}(), sub{}())] :: Overload" $
testCase "[symbol-overload{}(super{}(), sub{}())] :: Overload" $
expectSuccess expected $
parseOverload attributes
where
Expand All @@ -95,20 +95,20 @@ attributes = Attributes [attribute]

test_Attributes :: TestTree
test_Attributes =
testCase "[overload{}(super{}(), sub{}())] :: Attributes" $
testCase "[symbol-overload{}(super{}(), sub{}())] :: Attributes" $
expectSuccess attributes $
parseAttributes attributes

test_duplicate :: TestTree
test_duplicate =
testCase "[overload{}(_, _), overload{}(_, _)]" $
testCase "[symbol-overload{}(_, _), symbol-overload{}(_, _)]" $
expectFailure $
parseOverload $
Attributes [attribute, attribute]

test_arguments :: TestTree
test_arguments =
testCase "[overload{}(\"illegal\")]" $
testCase "[symbol-overload{}(\"illegal\")]" $
expectFailure $
parseOverload $
Attributes [illegalAttribute]
Expand All @@ -118,7 +118,7 @@ test_arguments =

test_parameters :: TestTree
test_parameters =
testCase "[overload{illegal}()]" $
testCase "[symbol-overload{illegal}()]" $
expectFailure $
parseOverload $
Attributes [illegalAttribute]
Expand Down
14 changes: 7 additions & 7 deletions test/issue-3508/definition.kore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3762,13 +3762,13 @@ module IMP
axiom{} \or{SortGeneratedTopCellFragment{}} (\exists{SortGeneratedTopCellFragment{}} (X0:SortTCellOpt{}, \exists{SortGeneratedTopCellFragment{}} (X1:SortGeneratedCounterCellOpt{}, Lbl'-LT-'generatedTop'-GT-'-fragment{}(X0:SortTCellOpt{}, X1:SortGeneratedCounterCellOpt{}))), \bottom{SortGeneratedTopCellFragment{}}()) [constructor{}()] // no junk
axiom{} \or{SortIOError{}} (Lbl'Hash'E2BIG{}(), \or{SortIOError{}} (Lbl'Hash'EACCES{}(), \or{SortIOError{}} (Lbl'Hash'EADDRINUSE{}(), \or{SortIOError{}} (Lbl'Hash'EADDRNOTAVAIL{}(), \or{SortIOError{}} (Lbl'Hash'EAFNOSUPPORT{}(), \or{SortIOError{}} (Lbl'Hash'EAGAIN{}(), \or{SortIOError{}} (Lbl'Hash'EALREADY{}(), \or{SortIOError{}} (Lbl'Hash'EBADF{}(), \or{SortIOError{}} (Lbl'Hash'EBUSY{}(), \or{SortIOError{}} (Lbl'Hash'ECHILD{}(), \or{SortIOError{}} (Lbl'Hash'ECONNABORTED{}(), \or{SortIOError{}} (Lbl'Hash'ECONNREFUSED{}(), \or{SortIOError{}} (Lbl'Hash'ECONNRESET{}(), \or{SortIOError{}} (Lbl'Hash'EDEADLK{}(), \or{SortIOError{}} (Lbl'Hash'EDESTADDRREQ{}(), \or{SortIOError{}} (Lbl'Hash'EDOM{}(), \or{SortIOError{}} (Lbl'Hash'EEXIST{}(), \or{SortIOError{}} (Lbl'Hash'EFAULT{}(), \or{SortIOError{}} (Lbl'Hash'EFBIG{}(), \or{SortIOError{}} (Lbl'Hash'EHOSTDOWN{}(), \or{SortIOError{}} (Lbl'Hash'EHOSTUNREACH{}(), \or{SortIOError{}} (Lbl'Hash'EINPROGRESS{}(), \or{SortIOError{}} (Lbl'Hash'EINTR{}(), \or{SortIOError{}} (Lbl'Hash'EINVAL{}(), \or{SortIOError{}} (Lbl'Hash'EIO{}(), \or{SortIOError{}} (Lbl'Hash'EISCONN{}(), \or{SortIOError{}} (Lbl'Hash'EISDIR{}(), \or{SortIOError{}} (Lbl'Hash'ELOOP{}(), \or{SortIOError{}} (Lbl'Hash'EMFILE{}(), \or{SortIOError{}} (Lbl'Hash'EMLINK{}(), \or{SortIOError{}} (Lbl'Hash'EMSGSIZE{}(), \or{SortIOError{}} (Lbl'Hash'ENAMETOOLONG{}(), \or{SortIOError{}} (Lbl'Hash'ENETDOWN{}(), \or{SortIOError{}} (Lbl'Hash'ENETRESET{}(), \or{SortIOError{}} (Lbl'Hash'ENETUNREACH{}(), \or{SortIOError{}} (Lbl'Hash'ENFILE{}(), \or{SortIOError{}} (Lbl'Hash'ENOBUFS{}(), \or{SortIOError{}} (Lbl'Hash'ENODEV{}(), \or{SortIOError{}} (Lbl'Hash'ENOENT{}(), \or{SortIOError{}} (Lbl'Hash'ENOEXEC{}(), \or{SortIOError{}} (Lbl'Hash'ENOLCK{}(), \or{SortIOError{}} (Lbl'Hash'ENOMEM{}(), \or{SortIOError{}} (Lbl'Hash'ENOPROTOOPT{}(), \or{SortIOError{}} (Lbl'Hash'ENOSPC{}(), \or{SortIOError{}} (Lbl'Hash'ENOSYS{}(), \or{SortIOError{}} (Lbl'Hash'ENOTCONN{}(), \or{SortIOError{}} (Lbl'Hash'ENOTDIR{}(), \or{SortIOError{}} (Lbl'Hash'ENOTEMPTY{}(), \or{SortIOError{}} (Lbl'Hash'ENOTSOCK{}(), \or{SortIOError{}} (Lbl'Hash'ENOTTY{}(), \or{SortIOError{}} (Lbl'Hash'ENXIO{}(), \or{SortIOError{}} (Lbl'Hash'EOF{}(), \or{SortIOError{}} (Lbl'Hash'EOPNOTSUPP{}(), \or{SortIOError{}} (Lbl'Hash'EOVERFLOW{}(), \or{SortIOError{}} (Lbl'Hash'EPERM{}(), \or{SortIOError{}} (Lbl'Hash'EPFNOSUPPORT{}(), \or{SortIOError{}} (Lbl'Hash'EPIPE{}(), \or{SortIOError{}} (Lbl'Hash'EPROTONOSUPPORT{}(), \or{SortIOError{}} (Lbl'Hash'EPROTOTYPE{}(), \or{SortIOError{}} (Lbl'Hash'ERANGE{}(), \or{SortIOError{}} (Lbl'Hash'EROFS{}(), \or{SortIOError{}} (Lbl'Hash'ESHUTDOWN{}(), \or{SortIOError{}} (Lbl'Hash'ESOCKTNOSUPPORT{}(), \or{SortIOError{}} (Lbl'Hash'ESPIPE{}(), \or{SortIOError{}} (Lbl'Hash'ESRCH{}(), \or{SortIOError{}} (Lbl'Hash'ETIMEDOUT{}(), \or{SortIOError{}} (Lbl'Hash'ETOOMANYREFS{}(), \or{SortIOError{}} (Lbl'Hash'EWOULDBLOCK{}(), \or{SortIOError{}} (Lbl'Hash'EXDEV{}(), \or{SortIOError{}} (\exists{SortIOError{}} (X0:SortString{}, Lbl'Hash'noParse{}(X0:SortString{})), \or{SortIOError{}} (\exists{SortIOError{}} (X0:SortInt{}, Lbl'Hash'unknownIOError{}(X0:SortInt{})), \bottom{SortIOError{}}()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) [constructor{}()] // no junk
axiom{} \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortId{}, Lbl'PlusPlusUndsUnds'IMP-SYNTAX'Unds'AExp'Unds'Id{}(X0:SortId{})), \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortInt{}, Lbl-'UndsUnds'IMP-SYNTAX'Unds'AExp'Unds'Int{}(X0:SortInt{})), \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortAExp{}, \exists{SortAExp{}} (X1:SortAExp{}, Lbl'UndsPlusUndsUnds'IMP-SYNTAX'Unds'AExp'Unds'AExp'Unds'AExp{}(X0:SortAExp{}, X1:SortAExp{}))), \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortAExp{}, \exists{SortAExp{}} (X1:SortAExp{}, Lbl'UndsSlshUndsUnds'IMP-SYNTAX'Unds'AExp'Unds'AExp'Unds'AExp{}(X0:SortAExp{}, X1:SortAExp{}))), \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortId{}, \exists{SortAExp{}} (X1:SortAExp{}, Lbl'UndsEqlsUndsUnds'IMP-SYNTAX'Unds'AExp'Unds'Id'Unds'AExp{}(X0:SortId{}, X1:SortAExp{}))), \or{SortAExp{}} (Lblread'LParRParUnds'IMP-SYNTAX'Unds'AExp{}(), \or{SortAExp{}} (\exists{SortAExp{}} (X0:SortBlock{}, Lblspawn'UndsUnds'IMP-SYNTAX'Unds'AExp'Unds'Block{}(X0:SortBlock{})), \or{SortAExp{}} (\exists{SortAExp{}} (Val:SortString{}, inj{SortString{}, SortAExp{}} (Val:SortString{})), \or{SortAExp{}} (\exists{SortAExp{}} (Val:SortPrintable{}, inj{SortPrintable{}, SortAExp{}} (Val:SortPrintable{})), \or{SortAExp{}} (\exists{SortAExp{}} (Val:SortId{}, inj{SortId{}, SortAExp{}} (Val:SortId{})), \or{SortAExp{}} (\exists{SortAExp{}} (Val:SortInt{}, inj{SortInt{}, SortAExp{}} (Val:SortInt{})), \bottom{SortAExp{}}()))))))))))) [constructor{}()] // no junk
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortIds{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}())) [overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(inj{SortId{}, SortAExp{}} (K0:SortId{}),inj{SortIds{}, SortAExps{}} (K1:SortIds{})), inj{SortIds{}, SortAExps{}} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids{}(K0:SortId{},K1:SortIds{}))) [overload{}(Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(), Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortPrintables{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}())) [overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}())] // overloaded production
axiom{R} \equals{SortIds{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}(), inj{SortBottoms{}, SortIds{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortBottoms{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortPrintables{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}(), inj{SortBottoms{}, SortPrintables{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(inj{SortPrintable{}, SortAExp{}} (K0:SortPrintable{}),inj{SortPrintables{}, SortAExps{}} (K1:SortPrintables{})), inj{SortPrintables{}, SortAExps{}} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables{}(K0:SortPrintable{},K1:SortPrintables{}))) [overload{}(Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(), Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortIds{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}())) [symbol-overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(inj{SortId{}, SortAExp{}} (K0:SortId{}),inj{SortIds{}, SortAExps{}} (K1:SortIds{})), inj{SortIds{}, SortAExps{}} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids{}(K0:SortId{},K1:SortIds{}))) [symbol-overload{}(Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(), Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortPrintables{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}())) [symbol-overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}())] // overloaded production
axiom{R} \equals{SortIds{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}(), inj{SortBottoms{}, SortIds{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [symbol-overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Ids'Unds'Id'Unds'Ids'QuotRBraUnds'Ids{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), inj{SortBottoms{}, SortAExps{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [symbol-overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps'QuotRBraUnds'AExps{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortPrintables{}, R} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}(), inj{SortBottoms{}, SortPrintables{}} (Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())) [symbol-overload{}(Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables'QuotRBraUnds'Printables{}(), Lbl'Stop'List'LBraQuotUndsCommUndsUnds'IMP-SYNTAX'Unds'Bottoms'Unds'Bottom'Unds'Bottoms'QuotRBraUnds'Bottoms{}())] // overloaded production
axiom{R} \equals{SortAExps{}, R} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(inj{SortPrintable{}, SortAExp{}} (K0:SortPrintable{}),inj{SortPrintables{}, SortAExps{}} (K1:SortPrintables{})), inj{SortPrintables{}, SortAExps{}} (Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables{}(K0:SortPrintable{},K1:SortPrintables{}))) [symbol-overload{}(Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'AExps'Unds'AExp'Unds'AExps{}(), Lbl'UndsCommUndsUnds'IMP-SYNTAX'Unds'Printables'Unds'Printable'Unds'Printables{}())] // overloaded production

// rules
// rule `#if_#then_#else_#fi_K-EQUAL-SYNTAX_Sort_Bool_Sort_Sort`{K}(C,B1,_Gen0)=>B1 requires C ensures #token("true","Bool") [UNIQUE_ID(2b32069ac3f589174502fa507ebc88fab7c902854c0a9baa8ab09beb551232e2), org.kframework.attributes.Location(Location(2222,8,2222,59)), org.kframework.attributes.Source(Source(/home/dwightguth/kframework-5.0.0/k-distribution/target/release/k/include/kframework/builtin/domains.md)), org.kframework.definition.Production(syntax #RuleContent ::= #RuleBody "requires" Bool [klabel(#ruleRequires), symbol])]
Expand Down
Loading

0 comments on commit ac6908d

Please sign in to comment.