Thomas Pointhuber

I had this issue before the gnome 3.20 upgrade, and I pinpointed it in my case to changes in xorg-server. https://bugs.archlinux.org/task/48713

Likely related to #884

I suspect the benchmark `StringConcatenation01` is incorrectly classified. It is possible to create an `violation_witness` without an OOM Error. Looking at the following line: https://github.com/sosy-lab/sv-benchmarks/blob/f86649d39588b62689bc63ae84f8ff53582b4d51/java/jbmc-regression/StringConcatenation01/Main.java#L23 Lets look into the implementation...

The Icons were simply made by color shifting the original one :P. White should be easily possible, but patterns would require some more work.

I created some initial proposal: [kicad-python/wiki/new-Footprint-wizard-Plugin-System](https://github.com/pointhi/kicad-python/wiki/new-Footprint-wizard-Plugin-System) very rough, many things to think about. It should incorporate things like [config_KLCv3.0.yaml]( https://github.com/pointhi/kicad-footprint-generator/blob/master/scripts/tools/global_config_files/config_KLCv3.0.yaml) but in a more flexible way. For example, support name...

Please reference the footprint PR in KiCad

@tolot27 the scripts repo currently does not enforce much rules at the moment (which explains the different approaches and naming conventions). Try to stick to some existing type you think...

@poeschlr @evanshultz I'm ok with any organization you want to have of the scripts folder.

@jneiva08 you need to install `pyyaml`, either with the packet manager or using pip.

@chschlue yep, that's python. You can also import packages inside a function and so on.