Skip to content

Commit

Permalink
Temporarily remove some defs from problemformat.cue (currently in gen…
Browse files Browse the repository at this point in the history
…erators.cue)
  • Loading branch information
thorehusfeldt committed Nov 28, 2024
1 parent c970567 commit 05f6684
Showing 1 changed file with 2 additions and 13 deletions.
15 changes: 2 additions & 13 deletions support/schemas/problemformat.cue
Original file line number Diff line number Diff line change
@@ -1,25 +1,14 @@
package problemformat

// Schemas relevant for the problem package format specification.
problem_package_format: string | *"legacy"

// Names for testgroups and testcases are alphanumerical with internal
// underscores and hyphens; such as "huge", "make_tree", "3", or "connected_graph-01",
// but not "huge_" or "-2".
let basename = "([A-Za-z0-9][A-Za-z0-9_-]*[A-Za-z0-9]|[A-Za-z0-9])"
name: =~"^\(basename)$"

// Filenames are somewhat like names, but can also contain '.'
// and have length at least 2, such as "good-solution_02.py"
// but not "huge_" or "a".
let filename = "[A-Za-z0-9][A-Za-z0-9_.-]*[A-Za-z0-9]"

filepath: =~"^/?\(filename)(/\(filename))*$"
casepath: =~"^\(filename)(/\(basename))*$"

// Test data settings

#testdata_settings: {
input_validator_flags?: *"" | string | {[string]: string}
input_validator_flags?: *"" | string | {[string]: string}
output_validator_flags?: *"" | string
grading?: {
score?: >0
Expand Down

0 comments on commit 05f6684

Please sign in to comment.