Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
VIGNET Pierre
cadbiom
Commits
89e52ce3
Commit
89e52ce3
authored
Nov 25, 2019
by
VIGNET Pierre
Browse files
[cmd] Fix typos
parent
a0d23567
Changes
1
Hide whitespace changes
Inline
Side-by-side
command_line/cadbiom_cmd/solution_search.py
View file @
89e52ce3
...
...
@@ -146,7 +146,7 @@ def get_dimacs_start_properties(mcla, previous_frontier_places):
def
main2
(
chart_file
,
mac_file
,
mac_step_file
,
mac_complete_file
,
mac_strong_file
,
steps
,
final_prop
,
start_prop
,
inv_prop
,
all_macs
,
continue_run
,
limit
):
"""
"""
Search solutions
:param chart_file: Model file (bcx, xml, cal).
:param mac_file: File used to store Minimal Activation Condition (MAC/CAM).
...
...
@@ -609,9 +609,6 @@ def solutions_search(params):
* If an input file is given, there will be 1 process per line
(per logical formula on each line).
"""
# params = args_to_param(args)
# No input file
if
params
[
'final_prop'
]:
compute_macs
(
params
)
...
...
Write
Preview
Supports
Markdown
0%
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!
Cancel
Please
register
or
sign in
to comment