Searched refs:dot2k (Results 1 – 7 of 7) sorted by relevance
12 from dot2.dot2k import dot2k30 monitor=dot2k(params.dot_file, params.monitor_type)
22 $(INSTALL) dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/dot2/dot2k.py23 $(INSTALL) dot2k -D -m 755 $(DESTDIR)$(bindir)/
15 class dot2k(Dot2c): class
43 is automated by the dot2k tool and the rv/da_monitor.h header file that46 dot2k chapter49 The dot2k utility leverages dot2c by converting an automaton model in56 $ dot2k -d wip.dot -t per_cpu90 the 'type' argument is the data type used by dot2k on the representation of137 dot2k, the developer's work should be limited to the instrumentation145 [2] dot2k appends the monitor's name suffix to the events enums to
4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"115 dot2k automatically creates two special functions::142 is used to connect the wip model events to the relative kernel event. dot2k automatically
4549 2024-12-28 20:09:06.783-0600 FINEST t1081 PendingFileCompleter.doRename: Moved pending as file: '/opengrok/data/xref/openbmc/linux/tools/verification/dot2/dot2k.py.gz'[all...]
[all...]