git://git.onelab.eu
/
tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
no semantic change, just reorganize the input xml records
[tests.git]
/
system
/
config_dual.py
1
# Thierry Parmentelat <thierry.parmentelat@inria.fr>
2
# Copyright (C) 2010 INRIA
3
#
4
# just overwrite options.size to be 2 and re-use the default config
5
import config_default
6
7
def config (plc_specs, options):
8
options.size=2
9
return config_default.config(plc_specs,options)
10