Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ipfs-overlay-tests.ipkg
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- SPDX-License-Identifier: MPL-2.0
-- ipfs-overlay Idris2 test suite. Estate port 7/11 — both TS test files
-- ported (config_structure + config_contracts, content-validation pattern).

Expand Down
6 changes: 3 additions & 3 deletions tests/idris2/ConfigContractsTest.idr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
-- Port of tests/contract/config_contracts_test.ts to Idris2, estate-rollout port 7/11.
Expand Down Expand Up @@ -51,7 +51,7 @@ allSuites =
]

, test "Contract: INVARIANT 3 - All Nickel files must have SPDX headers" $ do
let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later"
let spdx = "SPDX-License-Identifier: MPL-2.0"
a <- readFileToString "configs/bootstrap.ncl"
b <- readFileToString "configs/ipfs-config.ncl"
c <- readFileToString "configs/swarm.ncl"
Expand Down Expand Up @@ -112,7 +112,7 @@ allSuites =
]

, test "Contract: INVARIANT 9 - All scripts have SPDX headers" $ do
let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later"
let spdx = "SPDX-License-Identifier: MPL-2.0"
a <- readFileToString "scripts/init-node.sh"
b <- readFileToString "scripts/health-check.sh"
c <- readFileToString "scripts/generate-swarm-key.sh"
Expand Down
4 changes: 2 additions & 2 deletions tests/idris2/ConfigStructureTest.idr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
-- Port of tests/unit/config_structure_test.ts to Idris2, estate-rollout port 7/11.
Expand Down Expand Up @@ -38,7 +38,7 @@ allSuites =
a <- readFileToString "configs/bootstrap.ncl"
b <- readFileToString "configs/ipfs-config.ncl"
c <- readFileToString "configs/swarm.ncl"
let spdx = "SPDX-License-Identifier: PMPL-1.0-or-later"
let spdx = "SPDX-License-Identifier: MPL-2.0"
allPass
[ assertTrue "bootstrap.ncl SPDX" (isInfixOf spdx a)
, assertTrue "ipfs-config.ncl SPDX" (isInfixOf spdx b)
Expand Down
2 changes: 1 addition & 1 deletion tests/idris2/Test/Spec.idr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
||| Minimal Idris2 test harness for the Gossamer ABI test suite.
Expand Down
Loading