Skip to content

Commit

Permalink
fix(#2769): tests
Browse files Browse the repository at this point in the history
  • Loading branch information
maxonfjvipon committed Jan 12, 2024
1 parent 209261c commit 0711edd
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,7 @@ public void exec() {
phi.getFileName().toString().replace(".phi", ""),
new TextOf(phi)
).parsed();
System.out.println(parsed);
home.save(parsed.toString(), xmir);
Logger.info(
this,
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
tests:
- /program/objects/o[@name='main' and @abstract and o[@name='x']]
phi: |
{
main ↦ ⟦
x ↦ ξ.y
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
tests:
- /program/objects/o[@name='main' and @abstract and o[@name='x']]
phi: "{main ↦ ⟦ x ↦ ξ.y ⟧ } "

0 comments on commit 0711edd

Please sign in to comment.