Skip to content

Commit 1a2a2ca

Browse files
sipmasipma
committed
CHT: fix warnings and reformat
1 parent 6497717 commit 1a2a2ca

File tree

4 files changed

+22
-48
lines changed

4 files changed

+22
-48
lines changed

‎CodeHawk/CHT/CHB_tests/bchlibx86_tests/tbchlibx86/tCHBchlibx86Assertion.ml‎

Lines changed: 7 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
(* =============================================================================
2-
CodeHawk Unit Testing Framework
2+
CodeHawk Unit Testing Framework
33
Author: Henny Sipma
44
Adapted from: Kaputt (https://kaputt.x9c.fr/index.html)
55
------------------------------------------------------------------------------
66
The MIT License (MIT)
7-
8-
Copyright (c) 2023 Aarno Labs LLC
7+
8+
Copyright (c) 2023-2024 Aarno Labs LLC
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal
1212
in the Software without restriction, including without limitation the rights
1313
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1414
copies of the Software, and to permit persons to whom the Software is
1515
furnished to do so, subject to the following conditions:
16-
16+
1717
The above copyright notice and this permission notice shall be included in all
1818
copies or substantial portions of the Software.
19-
19+
2020
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
2121
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
2222
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
@@ -31,13 +31,8 @@ open CHPrettyUtil
3131

3232
(* xprlib *)
3333
open XprToPretty
34-
open XprTypes
3534

36-
(* bchlib *)
37-
open BCHLibTypes
3835

39-
module A = TCHAssertion
36+
let _x2p = xpr_formatter#pr_expr
4037

41-
let x2p = xpr_formatter#pr_expr
42-
let x2s x = pretty_to_string (xpr_formatter#pr_expr x)
43-
38+
let _x2s x = pretty_to_string (xpr_formatter#pr_expr x)

‎CodeHawk/CHT/CHB_tests/bchlibx86_tests/tbchlibx86/tCHBchlibx86Assertion.mli‎

Lines changed: 5 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
(* =============================================================================
2-
CodeHawk Unit Testing Framework
2+
CodeHawk Unit Testing Framework
33
Author: Henny Sipma
44
Adapted from: Kaputt (https://kaputt.x9c.fr/index.html)
55
------------------------------------------------------------------------------
66
The MIT License (MIT)
7-
8-
Copyright (c) 2023 Aarno Labs LLC
7+
8+
Copyright (c) 2023-2024 Aarno Labs LLC
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal
1212
in the Software without restriction, including without limitation the rights
1313
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1414
copies of the Software, and to permit persons to whom the Software is
1515
furnished to do so, subject to the following conditions:
16-
16+
1717
The above copyright notice and this permission notice shall be included in all
1818
copies or substantial portions of the Software.
19-
19+
2020
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
2121
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
2222
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
@@ -25,9 +25,3 @@
2525
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
2626
SOFTWARE.
2727
============================================================================= *)
28-
29-
(* bchlib *)
30-
open BCHLibTypes
31-
32-
(* xprlib *)
33-
open XprTypes

‎CodeHawk/CHT/CHB_tests/bchlibx86_tests/tbchlibx86/tCHBchlibx86Generator.ml‎

Lines changed: 5 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
(* =============================================================================
2-
CodeHawk Unit Testing Framework
2+
CodeHawk Unit Testing Framework
33
Author: Henny Sipma
44
Adapted from: Kaputt (https://kaputt.x9c.fr/index.html)
55
------------------------------------------------------------------------------
66
The MIT License (MIT)
7-
8-
Copyright (c) 2023 Aarno Labs LLC
7+
8+
Copyright (c) 2023-2024 Aarno Labs LLC
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal
1212
in the Software without restriction, including without limitation the rights
1313
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1414
copies of the Software, and to permit persons to whom the Software is
1515
furnished to do so, subject to the following conditions:
16-
16+
1717
The above copyright notice and this permission notice shall be included in all
1818
copies or substantial portions of the Software.
19-
19+
2020
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
2121
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
2222
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
@@ -25,12 +25,3 @@
2525
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
2626
SOFTWARE.
2727
============================================================================= *)
28-
29-
(* tchlib *)
30-
open TCHTestApi
31-
32-
(* bchlib *)
33-
open BCHCPURegisters
34-
open BCHDoubleword
35-
open BCHLibTypes
36-
open BCHSystemInfo

‎CodeHawk/CHT/CHB_tests/bchlibx86_tests/tbchlibx86/tCHBchlibx86Generator.mli‎

Lines changed: 5 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
(* =============================================================================
2-
CodeHawk Unit Testing Framework
2+
CodeHawk Unit Testing Framework
33
Author: Henny Sipma
44
Adapted from: Kaputt (https://kaputt.x9c.fr/index.html)
55
------------------------------------------------------------------------------
66
The MIT License (MIT)
7-
8-
Copyright (c) 2023 Aarno Labs LLC
7+
8+
Copyright (c) 2023-2024 Aarno Labs LLC
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal
1212
in the Software without restriction, including without limitation the rights
1313
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1414
copies of the Software, and to permit persons to whom the Software is
1515
furnished to do so, subject to the following conditions:
16-
16+
1717
The above copyright notice and this permission notice shall be included in all
1818
copies or substantial portions of the Software.
19-
19+
2020
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
2121
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
2222
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
@@ -25,9 +25,3 @@
2525
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
2626
SOFTWARE.
2727
============================================================================= *)
28-
29-
(* tchlib *)
30-
open TCHTestApi
31-
32-
(* bchlib *)
33-
open BCHLibTypes

0 commit comments

Comments
 (0)