<commit_before>FROM ubuntu:16.04
MAINTAINER <NAME>

RUN apt-get -y update && \
	DEBIAN_FRONTEND=noninteractive apt-get -y install z3 python-pip git && \
	git clone https://github.com/trailofbits/manticore.git && \
	cd manticore && \
	pip install .

RUN useradd -m manticore
USER manticore
WORKDIR /home/manticore<commit_msg>install z3 with pip in Dockerfile (#502)<commit_after>FROM ubuntu:16.04
MAINTAINER <NAME>

RUN apt-get -y update && \
	DEBIAN_FRONTEND=noninteractive apt-get -y install python-pip git && \
	git clone https://github.com/trailofbits/manticore.git && \
	cd manticore && \
	pip install .

RUN useradd -m manticore
USER manticore
WORKDIR /home/manticore
{'fraction_non_alphanumeric': 0.11160714285714286, 'fraction_numerical': 0.019345238095238096, 'mean_word_length': 4.022388059701493, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 2, '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': '1711796', 'n_tokens_mistral': 263, 'n_tokens_neox': 243, 'n_words': 64}