Move assertions.jl from Hecke
#3365
Triggered via pull request
September 17, 2024 09:19
lgoettgens
Status
Failure
Total duration
39m 27s
Artifacts
–
CI.yml
on: pull_request
Documentation
15m 25s
Matrix: test
Annotations
10 errors and 1 notice
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
AbstractAlgebra.add_assertion_scope(:MyScope)
Evaluated output:
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
diff =
Warning: Diff output requires color.
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
AbstractAlgebra.get_assertion_level(:MyScope)
Evaluated output:
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
0
diff =
Warning: Diff output requires color.
0ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
Evaluated output:
ERROR: LoadError: UndefVarError: `@hassert` not defined
in expression starting at none:2
Expected output:
hassert_test (generic function with 1 method)
diff =
Warning: Diff output requires color.
hassert_test (generic function with 1 method)ERROR: LoadError: UndefVarError: `@hassert` not defined
in expression starting at none:2
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
hassert_test(2)
Evaluated output:
ERROR: UndefVarError: `hassert_test` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
0
diff =
Warning: Diff output requires color.
0ERROR: UndefVarError: `hassert_test` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
AbstractAlgebra.set_assertion_level(:MyScope, 701);
Evaluated output:
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
diff =
Warning: Diff output requires color.
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
try hassert_test(2)
catch e e
end
Evaluated output:
UndefVarError(:hassert_test)
Expected output:
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
diff =
Warning: Diff output requires color.
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")UndefVarError(:hassert_test)
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
hassert_test(3)
Evaluated output:
ERROR: UndefVarError: `hassert_test` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
1
diff =
Warning: Diff output requires color.
1ERROR: UndefVarError: `hassert_test` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L502
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:502-529
```jldoctest
julia> AbstractAlgebra.add_assertion_scope(:MyScope)
julia> AbstractAlgebra.get_assertion_level(:MyScope)
0
julia> function hassert_test(x::Int)
@Hassert :MyScope 700 mod(x, 3) == 0
return div(x, 3)
end
hassert_test (generic function with 1 method)
julia> hassert_test(2)
0
julia> AbstractAlgebra.set_assertion_level(:MyScope, 701);
julia> try hassert_test(2)
catch e e
end
AssertionError("\$(Expr(:escape, :(mod(x, 3) == 0)))")
julia> hassert_test(3)
1
julia> AbstractAlgebra.set_assertion_level(:MyScope, 0)
0
```
Subexpression:
AbstractAlgebra.set_assertion_level(:MyScope, 0)
Evaluated output:
ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
0
diff =
Warning: Diff output requires color.
0ERROR: UndefVarError: `AbstractAlgebra` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation:
src/Assertions.jl#L577
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:577-593
```jldoctest
julia> function req_test(x::Int)
@Req iseven(x) "x must be even"
return div(x,2)
end
req_test (generic function with 1 method)
julia> try req_test(3)
catch e e
end
ArgumentError("x must be even")
julia> try req_test(2)
catch e e
end
1
```
Subexpression:
function req_test(x::Int)
@Req iseven(x) "x must be even"
return div(x,2)
end
Evaluated output:
ERROR: LoadError: UndefVarError: `@req` not defined
in expression starting at none:2
Expected output:
req_test (generic function with 1 method)
diff =
Warning: Diff output requires color.
req_test (generic function with 1 method)ERROR: LoadError: UndefVarError: `@req` not defined
in expression starting at none:2
|
|
Documentation:
src/Assertions.jl#L577
doctest failure in ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Assertions.jl:577-593
```jldoctest
julia> function req_test(x::Int)
@Req iseven(x) "x must be even"
return div(x,2)
end
req_test (generic function with 1 method)
julia> try req_test(3)
catch e e
end
ArgumentError("x must be even")
julia> try req_test(2)
catch e e
end
1
```
Subexpression:
try req_test(3)
catch e e
end
Evaluated output:
UndefVarError(:req_test)
Expected output:
ArgumentError("x must be even")
diff =
Warning: Diff output requires color.
ArgumentError("x must be even")UndefVarError(:req_test)
|
|
test (1.6, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
|