Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
G
gast
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
4
Issues
4
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
clean-and-itasks
gast
Commits
2968e7e1
Verified
Commit
2968e7e1
authored
Jul 31, 2019
by
Camil Staps
🚀
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Remove ignored strictness annotations
parent
f646f715
Pipeline
#27370
passed with stage
in 49 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
4 deletions
+4
-4
Libraries/Gast/Testable.dcl
Libraries/Gast/Testable.dcl
+4
-4
No files found.
Libraries/Gast/Testable.dcl
View file @
2968e7e1
...
...
@@ -25,8 +25,8 @@ from Text.GenPrint import class PrintOutput, :: PrintState, generic gPrint
,
argsRepresentation
::
![
String
]
,
namePath
::
![
String
]
,
res
::
!
Result
,
failedAssertions
::
![(
!
FailedAssertion
,
!
String
,
!
String
)]
//* Failed assertion & string representation of args
,
recFieldValueNrLimits
::
!
Map
(
TypeName
,
RecFieldName
)
Int
//* Restricts the number of values generated for record fields
,
failedAssertions
::
![(
FailedAssertion
,
String
,
String
)]
//* Failed assertion & string representation of args
,
recFieldValueNrLimits
::
!
Map
(
TypeName
,
RecFieldName
)
Int
//* Restricts the number of values generated for record fields
}
::
Result
=
Undef
|
Rej
|
Pass
|
OK
|
CE
newAdmin
::
Admin
...
...
@@ -109,7 +109,7 @@ generateAll :: !GenState -> [a] | ggen{|*|} a //& genType{|*|} a
,
args
::
![
String
]
//* Arguments used for test (string representation)
,
argsRepresentation
::
![
String
]
//* Arguments used for test ({{`gPrint`}} encoding)
,
name
::
!
String
//* Name of property
,
failedAssertions
::
![(
!
FailedAssertion
,
!
String
,
!
String
)]
//* Failed assertions leading to counter example & string representation of arguments
,
failedAssertions
::
![(
FailedAssertion
,
String
,
String
)]
//* Failed assertions leading to counter example & string representation of arguments
}
::
GastEvent
...
...
@@ -129,7 +129,7 @@ generateAll :: !GenState -> [a] | ggen{|*|} a //& genType{|*|} a
{
everyOutput
::
Int
Admin
->
String
,
counterExampleOutput
::
CounterExampleRes
->
String
,
beforeStartOutput
::
String
->
String
,
resultOutput
::
String
TestsResult
[
CounterExampleRes
]
[(
!
String
,
!
Int
)]
->
String
,
resultOutput
::
String
TestsResult
[
CounterExampleRes
]
[(
String
,
Int
)]
->
String
}
printEvents
::
PrintConfig
[
GastEvent
]
->
[
String
]
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment