<commit_before>#!/usr/bin/env python
"""Demonstration of FMU export from a controller synthesized using TuLiP

This is a modified copy from the TuLiP sources of
examples/robot_planning/continuous.py that exports an FMU.  The key
changes are

* caching of the abstraction and controller in AbstractPwa.p and FSM.p, and
* calling exportFMU() and `make testController` (near end of this file).
"""

import os.path
import os
import pickle
import sys
import numpy as np
<commit_msg>TRIV: Delete blank line following module docstr<commit_after>#!/usr/bin/env python
"""Demonstration of FMU export from a controller synthesized using TuLiP

This is a modified copy from the TuLiP sources of
examples/robot_planning/continuous.py that exports an FMU.  The key
changes are

* caching of the abstraction and controller in AbstractPwa.p and FSM.p, and
* calling exportFMU() and `make testController` (near end of this file).
"""
import os.path
import os
import pickle
import sys
import numpy as np

{'fraction_non_alphanumeric': 0.06382978723404255, 'fraction_numerical': 0.0, 'mean_word_length': 4.811764705882353, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3674819', 'n_tokens_mistral': 303, 'n_tokens_neox': 282, 'n_words': 134}