Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
caisar
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
caisar
Commits
dd34aff4
Commit
dd34aff4
authored
4 years ago
by
Salma El Hattech
Committed by
Michele Alberti
4 years ago
Browse files
Options
Downloads
Patches
Plain Diff
Modification of model.ml and model.mli
parent
c595b5d3
No related branches found
No related tags found
No related merge requests found
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
model.ml
+8
-5
8 additions, 5 deletions
model.ml
model.mli
+5
-3
5 additions, 3 deletions
model.mli
with
13 additions
and
8 deletions
model.ml
+
8
−
5
View file @
dd34aff4
...
...
@@ -35,10 +35,10 @@ let build ~filename =
Onnx
end
in
print_
string
""
;
print_
newline
()
;
Ok
{
format
;
filename
}
else
Format
.
printf
"
The file: %s doesn't exist
\n
"
filename
;
Error
(
Format
.
s
printf
"
No such file `%s'.
"
filename
)
;;
let
flag
=
ref
0
;;
...
...
@@ -157,10 +157,12 @@ let content_file filename =
;;
let
my_fun
filename
=
build
filename
;
content_file
filename
;
build
~
filename
;;
let
my_fun2
filename
=
content_file
filename
;
;;
(*This command is used to create an interface with the user such that they can insert the name of the file
to be tested.
In order to compile the code, use :
...
...
@@ -169,3 +171,4 @@ To run the executable, use :
./(name_of_the_executable) (name_of_the_nnet_file.nnet) *)
my_fun
Sys
.
argv
.
(
1
);;
my_fun2
Sys
.
argv
.
(
1
);;
This diff is collapsed.
Click to expand it.
model.mli
+
5
−
3
View file @
dd34aff4
...
...
@@ -22,12 +22,14 @@ type record = {
The model is inferred from the [filename] extension.
*)
val
build
:
filename
:
string
->
t
->
uni
t
val
build
:
filename
:
string
->
(
t
,
string
)
Result
.
t
(** Verifies the content of the given [filename] and checks
if the conditions are satisfied.
*)
val
content_file
:
filename
:
string
->
t
->
unit
val
content_file
:
string
->
unit
(** The main function of the program *)
val
my_fun
:
filename
:
string
->
t
->
unit
val
my_fun
:
string
->
(
t
,
string
)
Result
.
t
val
my_fun2
:
string
->
unit
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment