Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Apr 2, 2024
1 parent b0a07f4 commit 7877b1c
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions tests/output/sha512.trig
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <https://eyereasoner.github.io/lingua/tests/sha512.trig#>.
@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.

() :sha512 ("hello world" "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f").
[] rdf:value "hello world"; :sha512 "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f".

#
# lingua explanation
Expand All @@ -16,5 +16,5 @@ _:gn_1 {
}

_:gn_2 {
() :sha512 ("hello world" "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f").
[] rdf:value "hello world"; :sha512 "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f".
}
2 changes: 1 addition & 1 deletion tests/sha512.trig
Original file line number Diff line number Diff line change
Expand Up @@ -18,5 +18,5 @@ _:ng1 {
}

_:ng2 {
() :sha512 (var:X var:Y).
var:X :sha512 var:Y.
}

0 comments on commit 7877b1c

Please sign in to comment.